2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever (Lecture Notes in Computer Science Theoretical Computer Science and General Issues)
Автор:
Dennis Dams
, Автор:
Ulrich Hannemann
, Автор:
Martin Steffen
Категория:
Компьютеры
Размер книги: 5.37 Mb
FM 2009 : formal methods : second world congress, Eindhoven, the Netherlands, November 2-6, 2009 : proceedings
Автор:
Ana Cavalcanti; Dennis Dams
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 10.19 Mb
Theoretical and Practical Aspects of SPIN Model Checking, 5 and 6 conf.s
Автор:
Dennis Dams
, Автор:
Robert Gerth
, Автор:
Stefan Leue
, Автор:
Mieke Massinek
Категория:
CsLn_
Размер книги: 2.48 Mb
Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
Автор:
Dennis Dams
, Автор:
Ulrich Hannemann
, Автор:
Martin Steffen
Размер книги: 5.49 Mb
